#ifndef __KERNEL_TIME_H__
#define __KERNEL_TIME_H__

extern void time_init(void);



#endif